span.hol_pp_holfoot_alert_0               {text-decoration: underline; font-weight: bold}
span.hol_pp_holfoot_alert_1               {font-weight: bold}
span.hol_pp_holfoot_alert_2               {text-decoration: underline}
span.hol_pp_holfoot_spec                  {color: red}
span.hol_pp_holfoot_comment               {color: grey}
span.hol_pp_holfoot_frame_split___context {color: grey}
span.hol_pp_holfoot_frame_split___split   {color: green}
span.hol_pp_holfoot_frame_split___imp     {color: red}
